Permissive Belief Revision
نویسندگان
چکیده
We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existent belief base-based revision theories.
منابع مشابه
Iterated Belief Revision, Revised
A central aspect of commonsense reasoning is to sensibly revise one’s beliefs about the world in the presence of new information. The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intelligent agents adapt their beliefs incrementally to new information. These postulates alo...
متن کاملRevocable Belief Revision
Krister Segerberg proposed irrevocable belief revision, to be contrasted with standard belief revision, in a setting wherein belief of propositional formulas is modelled explicitly. This suggests that in standard belief revision is revocable: one should be able to unmake (‘revoke’) the fresh belief in the revision formula, given yet further information that contradicts it. In a dynamic epistemi...
متن کاملThe dynamics of relevance: adaptive belief revision
This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh’s axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynami...
متن کاملAnytime Belief Revision
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision systems based on the principle of Minimal Change; it provides a rich and rigorous foundation for computer-based belief revision architectures. Maxi-adjustment is a belief revision strategy for theory bases that can be impl...
متن کاملBelief revision in the propositional closure of a qualitative algebra (extended version)
Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the result is a disjunction of belief bases that is not necessarily representable in a QA. This motivates the study of belief revision in formalisms extending QA...
متن کامل